proof scheme

[计] 验证电路, 验证方案